From Giotto to Rosetta

From Control Models to Real-Time Code Using Giotto

The Giotto Methodology Separating Reactivity from Scheduling

trol software development based on Giotto [2], a domain-specific high-level programming language for control applications. A Giotto program explicitly specifies the exact real-time interaction of software components with the physical world. The Giotto compiler automatically generates timing code that ensures the specified behavior on a given platform. This article illustrates the Giotto methodo...

Giotto Domain Authors : Haiyang

The Giotto model is a semantic model that describes the communication between periodic time triggered components. It was developed by Thomas Henzinger and his group. It was designed for deterministic and safety critical applications. The main points about the Giotto model are: 1. A Giotto model is composed of one or more modes and each mode is composed of several tasks. 2. For every task, the d...

Simulink Integration of Giotto/TDL

The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical execution time (LET) as introduced by Giotto [2], TDL enhances Giotto towards a component architecture for real-time control applications [9]. The challenge is to provide appropriate visual and interactive modeling capabilities s...

C Code Generation from the Giotto Model of Computation to the PRET Architecture

We present code generation from the Giotto model of computation in Ptolemy II to the Precision Timed (PRET) Architecture. Giotto is a time-triggered programming model that provides the user with methods to specify timing at a high level, and PRET is a processor architecture that emphasizes predictable timing. The goal of code generation is to automatically generate code that correctly implement...